solve x^2+1=2y^2 over integers